Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
401	Paul E. Oppenheimer Curriculum Vitae Address: 8626 E. Mackenzie Dr., Scottsdale, AZ[removed]Phone: ([removed]cell); ([removed]alt) Birthdate: May 22, 1953 Electronic Mail: [removed] Add to Reading List Source URL: peoppenheimer.org Language: English - Date: 2014-07-30 14:34:39 Science Knowledge Edward N. Zalta Philosophy of mathematics Logic Computational epistemology Philosophy Metaphysicians Logicians
402	Microsoft Word - Uniform Course Syllabus CS118.doc Add to Reading List Source URL: www.wvup.edu Language: English - Date: 2013-07-26 17:11:03 Discrete mathematics Function Algorithm Combinatorics Computational complexity theory First-order logic Outline of discrete mathematics Areas of mathematics Mathematics Logic Mathematical logic
403	A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-02-22 15:09:02 Model theory Deduction Interpretation Philosophy of mind Entailment Modal logic Substitution Universal property Linear temporal logic Logic Propositional calculus Philosophical logic
404	COMPENDEX SOURCE LIST -- JOURNALS[removed]Date of file is: 8 April 2011 TITLE AAC: Augmentative and Alternative Communication AAPG Bulletin ABB Review Add to Reading List Source URL: www.library.umaine.edu Language: English - Date: 2012-08-08 10:47:25 Analog Integrated Circuits and Signal Processing Association for Computing Machinery Acta Materialia Elsevier ACM Transactions on Computer-Human Interaction ACM Transactions on Computational Logic Springer Science+Business Media ARDI Publishing Academic publishing Academia
405	VERIFICATION OF ALGEBRA STEP PROBLEMS: A CHRONOMETRIC STUDY OF HUMAN PROBLEM SOLVING by Paul G. Matthews and Richard C. Atkinson Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-10-02 19:05:30 Mathematics Computational complexity theory Algorithm Problem solving P Computer science Applied mathematics Mathematical logic Educational psychology
406	P, N P and Mathematics – a computational complexity perspective Avi Wigderson “P versus N P – a gift to mathematics from Computer Science” Steve Smale. Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2006-03-15 13:50:29 Complexity classes Mathematical optimization Structural complexity theory Mathematical logic P NP-complete Decision problem Algorithm Time complexity Theoretical computer science Computational complexity theory Applied mathematics
407	The Complexity of Unique -SAT: An Isolation Lemma for -CNFs Chris Calabro Russell Impagliazzo Valentine Kabanets Ramamohan Paturi Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-10-29 20:04:40 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Conjunctive normal form Local search PP NP-complete Theoretical computer science Computational complexity theory Applied mathematics
408	Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:21:15 Finite model theory Ontology Descriptive complexity Conjunctive query Database theory Computational complexity theory Conjunctive normal form FO Description logic Theoretical computer science Mathematics Mathematical logic
409	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
410	Workshop Materials: Algorithmic Accountability The Social, Cultural & Ethical Dimensions of “Big Data” March 17, [removed]New York, NY Brief Description Accountability is fundamentally about checks and balances to powe Add to Reading List Source URL: pacscenter.stanford.edu Language: English - Date: 2014-06-24 13:27:55 Theoretical computer science Mathematics Applied mathematics Computational complexity theory Machine learning Algorithms Science Cybernetics Algorithm Mathematical logic

UPDATE